package com.googlecode.bts_lambda;

/**
 * User: Timofey Bondarev
 * Date: 22.05.11
 * Time: 19:28
 */

public class LAbstraction extends LTerm {
    private LVariable variable;
    private LTerm term;

    public LAbstraction(LVariable variable, LTerm term) {
        this.variable = variable;
        this.term = term;
    }

    @Override
    public String toString() {
        return new StringBuffer("\\").append(variable.toString()).append(".").append(term.toString()).toString();
    }
}
